$\forall$$e$=rcv($l$,${\it tg}$). $P$($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:E. kind($e$) $=$ rcv($l$,${\it tg}$) $\Rightarrow$ $P$($e$)